`↓⊂ @πP↓`(@λ8T{≤~P∧↓QI∀8↓QI∀8@D↓⊂DDDDDDDDDDD↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓⊂↓Pα⊂PαPβ⊂HDHDHDH DDD DDHHHH H HHLHHHHH H ∧λ⊂@↓≤∀.Eh~Q8∧λ